En lògica, les connectives lògiques són les eines que permeten construir enunciats o fórmules a partir dels àtoms.